<?php

//-- use batch file
$buildResult = '';

if (preg_match('/winnt/i', PHP_OS)){

	$output = array();
	
	$cmd = __DIR__ . DIRECTORY_SEPARATOR .'tools' . DIRECTORY_SEPARATOR . 'build.cmd';
	
	exec( $cmd, $output );
	
	$buildResult = implode("<br />\n", $output);

}

echo <<<HTMLDOC
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
	"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml">
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
	<title>Jx build</title>

</head>
<body>

	{$buildResult}
	
</body>
</html>

HTMLDOC;
